x86: Fix relinquish_memory() for PGT_partial pages.

Original patch by Jan Beulich.

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>

diff --git a/xen/arch/x86/domain.c b/xen/arch/x86/domain.c
index 90cb433b36ccb2133332fd91c08b2b72ebd73f91..360c0110ce381a238da814e1d0bf409aaaf33644 100644 (file)
--- a/xen/arch/x86/domain.c
+++ b/xen/arch/x86/domain.c
@@ -1688,6 +1688,8 @@ static int relinquish_memory(
             {
                 if ( free_page_type(page, x, 0) != 0 )
                     BUG();
+                if ( x & PGT_partial )
+                    page->u.inuse.type_info--;
                 break;
             }
         }